Algorithms for arithmetic groups with the congruence subgroup property
نویسندگان
چکیده
Article history: Received 25 April 2014 Available online 18 September 2014 Communicated by William M. Kantor and Charles Leedham-Green
منابع مشابه
Arithmetic groups have rational representation growth
Let Γ be an arithmetic lattice in a semisimple algebraic group over a number field. We show that if Γ has the congruence subgroup property, then the number of n-dimensional irreducible representations of Γ grows like n, where α is a rational number.
متن کاملZariski density and computing in arithmetic groups
For n > 2, let Γn denote either SL(n,Z) or Sp(n,Z). We give a practical algorithm to compute the level of the maximal principal congruence subgroup in an arithmetic group H ≤ Γn. This forms the main component of our methods for computing with such arithmetic groups H. More generally, we provide algorithms for computing with Zariski dense groups in Γn. We use our GAP implementation of the algori...
متن کاملTrees and Discrete Subgroups of Lie Groups over Local Fields
Let K be a locally compact field and G a simple AT-group, G = G(K). A discrete subgroup T of G is called a lattice if G/F carries a finite G-invariant measure. It is a uniform (or cocompact) lattice if G/T is compact and nonuniform otherwise. When the jRf-rank of G is greater than one, Margulis [Ma, Z] proved that T is arithmetic, establishing the conjecture of Selberg and PiatetskiShapiro. Thi...
متن کاملFinite Linear Groups and Bounded Generation
We extend a result of E. Hrushovski and A. Pillay as follows. Let G be a finite subgroup of GL(n,F) where F is a field of characteristic p such that p is sufficiently large compared to n. Assume thatG is generated by p-elements. ThenG is a product of 25 of its Sylow p-subgroups. If G is a simple group of Lie type in characteristic p, the analogous result holds without any restriction on the Lie...
متن کاملCongruence Subgroups in the Hurwitz Quaternion Order
We clarify the explicit structure of the Hurwitz quaternion order, which is of fundamental importance in Riemann surface theory and systolic geometry. We present some properties of the associated congruence subgroups. Namely, we show that a Hurwitz group defined by a congruence subgroup associated with an odd ideal, is necessarily defined by a principal congruence subgroup. All such Hurwitz gro...
متن کامل